Chatter Branching within Qualitative Simulation
ثبت نشده
چکیده
منابع مشابه
Dynamic Chatter Abstraction : A scalable technique for avoiding irrelevant distinctions during qualitative simulation
One of the major factors hindering the use of qualitative simulation techniques to reason about the behavior of complex dynamical systems is intractable branching due to a phenomenon called chatter. Chatter occurs when a variable's direction of change is constrained only by continuity within a region of the state space . This results in intractable, potentially infinite branching within the beh...
متن کاملBehavior Abstraction for 'D-actable Simulation
Most qualitative simulation techniques perform simulation at a single level of detail highlighting a fixed set of distinctions . This can lead to intractable branching within the behavioral description . The complexity of the simulation can be reduced by eliminating uninteresting distinctions . Behavior abstraction provides a hierarchy of behavioral descriptions allowing the modeler to select t...
متن کاملBehavior Abstraction for Tractable Simulation
Most qualitative simulation techniques perform simulation at a single level of detail highlighting a xed set of distinctions. This can lead to intractable branching within the behavioral description. The complexity of the simulation can be reduced by eliminating uninteresting distinctions. Behavior abstraction provides a hierarchy of behav-ioral descriptions allowing the modeler to select the a...
متن کاملHigher Order Derivative Constraints in Qualitative Simulation
Qualitative simulation is a useful method for predicting the possible qualitatively distinct behaviors of an incompletely known mechanism described by a system of qualitative diierential equations (QDEs). Under some circumstances, sparse information about the derivatives of variables can lead to intractable branching (or \chatter") representing uninteresting or even spurious distinctions among ...
متن کاملStatic and Dynamic Abstraction Solves the Problem of Chatter in Qualitative Simulation
chattering region and successor states Final Behavior Tree Focused Envisionment Graph Before chatter abstraction Behavior Tree Potentially chattering region The links in the gure represent processes and the objects represent data structures. Two states linked by a dotted line in the envisionment graph represent the same qualitative state. Using chatter box abstraction, QSIM generates a single b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008